((v1 v2 2) (v1 v3 1) (v1 v4 4) (v1 v5 7) (v1 v6 8))
33
((v6 v4) (v6 v3) (v1 v4))